By any measure, the Pythagorean theorem is the most famous statement in all of mathematics. In this book, Eli Maor reveals the full story of this ubiquitous geometric theorem. Maor shows that the theorem, although attributed to Pythagoras, was known to the Babylonians more than a thousand years earlier. Pythagoras may have been the first to prove it, but his proof - if indeed h...(展开全部)

By any measure, the Pythagorean theorem is the most famous statement in all of mathematics. In this book, Eli Maor reveals the full story of this ubiquitous geometric theorem. Maor shows that the theorem, although attributed to Pythagoras, was known to the Babylonians more than a thousand years earlier. Pythagoras may have been the first to prove it, but his proof - if indeed h...(展开全部)

【印】阿马蒂亚•森（Amartya Sen）， 【美】埃里克•马斯金（Eric Maskin）

【印】阿马蒂亚•森（Amartya Sen）， 【美】埃里克•马斯金（Eric Maskin）

The fundamental theorem of algebra states that any complex polynomial must have a complex root. This book examines three pairs of proofs of the theorem from three different areas of mathematics: abstract algebra, complex analysis and topology. The first proof in each pair is fairly straightforward and depends only on what could be considered elementary mathematics. However, eac...(展开全部)

The fundamental theorem of algebra states that any complex polynomial must have a complex root. This book examines three pairs of proofs of the theorem from three different areas of mathematics: abstract algebra, complex analysis and topology. The first proof in each pair is fairly straightforward and depends only on what could be considered elementary mathematics. However, eac...(展开全部)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is a...(展开全部)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is a...(展开全部)